src\*.pro
docs\learnsat-ug.tex
docs\learnsat.bib
docs\learnsat-ug.pdf
readme.txt
docs\copyright.txt
docs\gpl.txt
docs\graph.png
docs\dom.png
docs\tree1.png
dist\learnsat-release.html
